Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des structures de recherche

Ce module vous permet de consulter la liste des structures.
 
ind name sigle typestruct adresse url debut fin ACTIONS
1065839 Deduction modulo, interopérabilité et démonstration automatique DEDUCTEAM researchteam ENS Paris-Saclay 2021-01-01
206117 Deduction modulo, interopérabilité et démonstration automatique DEDUCTEAM researchteam 2015-12-31
454729 Deduction modulo, interopérabilité et démonstration automatique DEDUCTEAM researchteam ENS Cachan 2016-01-01 2019-12-31
1042690 Deduction modulo, interopérabilité et démonstration automatique DEDUCTEAM researchteam ENS Paris-Saclay 2020-01-01 2020-12-31